On Conditional Chase Termination
نویسندگان
چکیده
منابع مشابه
Repairing data with conflict-free conditional dependencies
Conditional functional dependencies (CFDs) have proved effective in improving the quality of data. Not only are CFDs useful in detecting inconsistencies in data, they are also used to resolve inconsistencies in a database (or to repair the data). Most existing CFD-based repairing algorithms perform a variation of the so-called chase procedure, a standard algorithm in databases. However, chasing...
متن کاملBeyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant
The chase procedure is an indispensable tool for several database applications, where its termination guarantees decidability of these tasks. Most previous studies have focused on the skolem chase variant and its termination. It is known that the standard chase variant is more powerful in termination analysis provided a database is given. But all-instance termination analysis presents a challen...
متن کاملStop the Chase
The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such as query optimization, data exchange, and data integration. Its practicability, however, is limited by the fact that – for an arbitrary set of constraints – it might not terminate; even worse, chase termination is an undecidabl...
متن کاملOn Chase Termination Beyond Stratification
We study the termination problem of the chase algorithm, a central tool in various database problems such as the constraint implication problem, Conjunctive Query optimization, rewriting queries using views, data exchange, and data integration. The basic idea of the chase is, given a database instance and a set of constraints as input, to fix constraint violations in the database instance. It i...
متن کاملar X iv : 0 90 1 . 39 84 v 1 [ cs . D B ] 2 6 Ja n 20 09 Stop the Chase
The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such as query optimization, data exchange, and data integration. Its practicability, however, is limited by the fact that – for an arbitrary set of constraints – it might not terminate; even worse, chase termination is an undecidabl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011